Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Lorraine (région)13009
Horatiu Cirstea100
Lorraine (région) Sauf Horatiu Cirstea" 12941
Horatiu Cirstea Sauf Lorraine (région)" 32
Lorraine (région) Et Horatiu Cirstea 68
Lorraine (région) Ou Horatiu Cirstea 13041
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 68.
Ident.Authors (with country if any)Title
000243 Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation
000319 Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000517 Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000552 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Emilie Balland [France]A Java Framework for Test Data Generation
000614 Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000627 Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
001F85 François Prugniel [France] ; Pierre-Etienne Moreau [France] ; Horatiu Cirstea [France]A constraint language for algebraic term based on rewriting theory
002255 Tony Bourdier [France] ; Horatiu Cirstea [France]Symbolic analysis of network security policies using rewrite systems
002A34 Horatiu Cirstea [France]The rewriting calculus
002C33 Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Rule-based Specification and Analysis of Security Policies
002D93 Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]On Formal Specification and Analysis of Security Policies
002E28 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-patterns for Rule-based Languages
002E59 Tony Bourdier [France] ; Horatiu Cirstea [France]Constrained rewriting in recognizable theories
002E93 Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France]Extensional and Intensional Strategies
003337 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]TomML: A Rule Language For Structured Data
003700 Tony Bourdier [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De OliveiraAnalysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
003881 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]TomML : A Rule Language for Structured Data
003F49 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Rewrite Based Specification of Access Control Policies
004862 Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Towards a sharing strategy for the graph rewriting calculus
004A76 Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
004A79 Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France]A Rho-Calculus of explicit constraint application
004C85 Horatiu Cirstea [France] ; Germain Faure [France]Confluence of Pattern-Based Calculi
005045 Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France]From functional programs to interaction nets via the Rewriting Calculus
005158 Horatiu Cirstea [France] ; Clement Houtmann [France] ; Benjamin Wack [France]Distributive Rho-Calculus
005160 Horatiu Cirstea [France] ; Clement Houtmann [France] ; Benjamin Wack [France]Distributive rewriting calculus
005206 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Decidable Type Inference for the Polymorphic Rewriting Calculus
005254 Horatiu Cirstea [France] ; Clara Bertolissi [France] ; Claude Kirchner [France]Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
005605 Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
005A80 Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] ; Artur Wilk [Suède]Types for REWERSE reasoning and query languages I3-D4
005C52 Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
006600 Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
006666 Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France]A rho-calculus of explicit constraint application.
006B40 Horatiu Cirstea [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewriting Calculus with Fixpoints: Untyped and First-Order Systems
006E56 Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Jan Maluszynski ; Benjamin Wack [France]Types for Web Rule Languages: a preliminary study
006E96 Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification
006F11 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production and Rewrite Systems
006F12 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rewrite Systems
006F13 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
006F14 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Michael Moossen [France] ; Pierre-Etienne Moreau [France]Production Systems and Rete Algorithm Formalisation
007236 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Rewrite Strategies in the Rewriting Calculus
007291 Gilles Barthe [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Pure Patterns Type Systems
007D32 Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Translating Combinatory Reduction Systems into the Rewriting Calculus
007F50 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Rewriting Calculus with(out) Types
007F90 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]The rho cube : some results, some problems
008D07 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
008D14 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho Cube
008D21 Horatiu Cirstea [France]Specifying Authentication Protocols Using Rewriting and Strategies
009265 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho Cube
009279 Horatiu Cirstea [France]Specifying Authentication Protocols Using Rewriting and Strategies
009331 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
009441 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching power
009555 Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus - Part II
009556 Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus - Part I
009587 Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in Rho-calculus and ELAN
009751 Horatiu Cirstea [France] ; Claude Kirchner [France]The simply typed rewriting calculus
009762 Horatiu Cirstea [France] ; Claude Kirchner [France]Rewriting and Multisets in the Rewriting Calculus and ELAN
009D05 Horatiu Cirstea [France] ; Claude Kirchner [France]The simply typed rewriting calculus
00A130 Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus
00A186 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching Power
00A296 Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]A Rho Cube
00A310 Horatiu Cirstea [France]Specifying Authentication Protocols Using ELAN
00AB98 Horatiu Cirstea [France] ; Claude Kirchner [France]Using Rewriting and Strategies for Describing the B Predicate Prover
00AC85 Horatiu Cirstea [France] ; Claude Kirchner [France]Introduction to the Rewriting Calculus
00B313 Horatiu Cirstea [France] ; Claude Kirchner [France]The Rewriting Calculus as a Semantics of ELAN
00B546 Horatiu Cirstea [France] ; Claude Kirchner [France]Using Rewriting and Strategies for Describing the B Predicate Prover
00B678 Horatiu Cirstea [France] ; Claude Kirchner [France]Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN
00B679 Horatiu Cirstea [France] ; Claude Kirchner [France]Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version
00B728 Horatiu Cirstea [France] ; Claude Kirchner [France]$\rho$-Calculus. Its Syntax and Basic Properties
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022